With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
The pentagon identity is the coherence identity satisfied by an associator in a monoidal category or more generally in a bicategory, (2,1)-category etc, asserting that the following pentagonal diagram commutes, where
is the associator natural transformation (or more generally: associator 2-morphism).
For more references see at braided monoidal category and at coherence law.
Last revised on January 29, 2024 at 12:20:46. See the history of this page for a list of all contributions to it.